Modeling and Simulating Discrete Event Systems in Metropolis
نویسنده
چکیده
This paper describes modeling discrete event systems in Metropolis using one of the key concepts employed by Metropolis, orthogonalization of design aspects, which in this particular case, is the orthogonalization between capability and cost. To support the orthogonalization, quantity annotation mechanism is introduced. This paper formally analyzes simulation strategies for quantity annotation using tagged signal models. To improve simulation efficiency, taking advantages of built-in LOC constraints is discussed. Finally, a little thoughts are made for co-simulation between Metropolis MetaModel discrete event systems and external continuous time or hybrid systems.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملService Process Modeling through Simulation and Scenario Development for Insurance Analysis
Insurance companies are among the service organizations, which maintain close relationships with their clients by providing insurance services. Clients are the most important resource for service companies. And profitability of insurance companies undoubtedly hinges on clear analysis of client satisfaction and improved productivity of service providers. An important factor of client satisfactio...
متن کاملSIMULATING CONTINUOUS FUZZY SYSTEMS: I
In previous studies we first concentrated on utilizing crisp simulationto produce discrete event fuzzy systems simulations. Then we extendedthis research to the simulation of continuous fuzzy systems models. In this paperwe continue our study of continuous fuzzy systems using crisp continuoussimulation. Consider a crisp continuous system whose evolution depends ondifferential equations. Such a ...
متن کامل